WCET determination tool for embedded systems software
نویسندگان
چکیده
منابع مشابه
WCET Analysis for Systems Modelled in Matlab / Simulink ∗ †
Comfortable software engineering tools are being developed that allow a more functionality-oriented development of embedded systems. This paper demonstrates how WCET analysis is integrated into such a high-level application design and simulation tool – Matlab/Simulink – thus providing a higher-level interface to WCET analysis. The Matlab/Simulink extensions compute and display worst-case timing...
متن کاملExperiences from Industrial WCET Analysis Case Studies
Static Worst-Case Execution Time (WCET) analysis is currently taking a step from research to industrial use. We present a summary of three case studies where static WCET analysis has been used to analyse production code for embedded real-time systems. The primary purpose has not been to test the accuracy of the obtained WCET estimates, but rather to investigate the practical and methodological ...
متن کاملStatic analysis of WCET in a satellite software subsystem
This paper describes the authors’ experience with static analysis of both WCET and stack usage of a satellite on-board software subsystem. The work is a continuation of a previous case study that used a dynamic WCET analysis tool on an earlier version of the same software system. In particular, the AbsInt aiT tool has been evaluated by analysing both C and Ada code generated by Simulink within ...
متن کاملChronos: A timing analyzer for embedded software
Estimating the Worst-case Execution Time (WCET) of real-time embedded software is an important problem. WCET is defined as the upper bound b on the execution time of a program P on a processor X such that for any input the execution time of P on X is guaranteed to not exceed b. Such WCET estimates are crucial for schedulability analysis of real-time systems. In this paper, we present Chronos, a...
متن کاملThe Heptane Static Worst-Case Execution Time Estimation Tool
Estimation of worst-case execution times (WCETs) is required to validate the temporal behavior of hard real time systems. Heptane is an open-source software program that estimates upper bounds of execution times on MIPS and ARM v7 architectures, offered to the WCET estimation community to experiment new WCET estimation techniques. The software architecture of Heptane was designed to be as modul...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008